Irina Virbitskaite: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics

Irina Virbitskaite

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 920 KB

english, 1998

2

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Development of the Computer Language Classification Knowledge Portal

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 156 KB

english, 2012

3

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Bootstrapping Compiler Generators from Partial Evaluators

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012

4

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Towards Checking Parametric Reachability for UML State Machines

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

5

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Loop Parallelization in Multi-dimensional Cartesian Space

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 1.02 MB

english, 2007

6

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Towards an Open Framework for C Verification Tools Benchmarking

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 340 KB

english, 2012

7

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 ||

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 5.78 MB

english, 2012

8

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Cryptographic Protocols Analysis in Event B

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 290 KB

english, 2010

9

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 ||

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 9.40 MB

english, 2010

10

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Report on an Implementation of a Semi-inverter

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 215 KB

english, 2007

11

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Development of a Robust Data Mining Method Using CBFS and RSM

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 243 KB

english, 2007

12

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Basic Protocols: Specification Language for Distributed Systems

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

13

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 ||

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 9.24 MB

english, 2007

14

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 195 KB

english, 2010

15

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Petri Net Distributability

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 261 KB

english, 2012

16

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || On the Usage of Concrete Syntax in Model Transformation Rules

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 445 KB

english, 2007

17

SOME CHARACTERISTICS OF NONDETERMINISTIC PROCESSES

VIRBITSKAITE, IRINA B.

Journal:

Parallel Processing Letters

Year:

1993

Language:

english

File:

PDF, 319 KB

english, 1993

18

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 374 KB

english, 2007

19

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Algorithmic Debugging of SQL Views

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 199 KB

english, 2012

20

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 8974 || Polynomial-Time Optimal Pretty-Printing Combinators with Choice

Voronkov, Andrei, Virbitskaite, Irina

Year:

2015

Language:

english

File:

PDF, 355 KB

english, 2015

21

True Concurrent Equivalences in Time Petri Nets*

Virbitskaite, Irina, Bushin, Dmitry, Best, Eike

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 334 KB

english, 2016

22

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 11964 (12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers) ||

Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei

Year:

2019

File:

PDF, 17.03 MB

2019

23

Analysis of Timed Concurrent Models Based on Testing Equivalence

Andreeva, Maria V., Bozhenkova, Elena N., Virbitskaite, Irina B.

Journal:

Fundamenta Informaticae

Year:

2000

File:

PDF, 1.00 MB

2000